منابع مشابه
Categorical Equivalence of Modes
A description of all varieties categorically equivalent to a fixed finitely generated variety of modes is provided. The characterization is in terms of a set of basic operations symbols and identities. For the special case of semilattices, a one-to-one correspondence between the categorically equivalent varieties and the isomorphism types of finite posets is exhibited. Applications to rectangul...
متن کاملDefinable Transversals of Analytic Equivalence Relations
We examine the circumstances under which certain analytic equivalence relations on Polish spaces have definable transversals.
متن کاملZeta Functions from Definable Equivalence Relations
We prove that the theory of the p-adics Qp, together with a set of explicitly given sorts, admits elimination of imaginaries. Using p-adic integration, we deduce the rationality of certain formal zeta functions arising from definable equivalence relations. As an application, we prove rationality results for zeta functions obtained by counting isomorphism classes of irreducible representations o...
متن کاملCategorical Quasivarieties via Morita Equivalence
We give a new proof of the classification of א0-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.
متن کاملCategorical equivalence of some algebras
We show that two lattices are categorically equivalent if and only if they are isomorphic or dually isomorphic. Two normal bands are categorically equivalent if and only if they are isomorphic or antiisomorphic. The same result holds for finite bands as well. We also obtain corollaries for rectangular bands and semilattices.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy of Science
سال: 2019
ISSN: 0031-8248,1539-767X
DOI: 10.1086/701047